大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Methods for the Implementation of Algorithmic Languages 的图书(共5677本)

Satellite Events at the MoDELS 2005 Conference [electronic resource] : MoDELS 2005 International Workshops Doctoral Symposium, Educators Symposium Montego Bay, Jamaica, October 2-7, 2005 Revised Selected Papers

0
索取号：
作者：Bruel、 Jean-Michel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Recent Advances in Intrusion Detection [electronic resource] : 8th International Symposium, RAID 2005, Seattle, WA, USA, September 7-9, 2005. Revised Papers

0
索取号：
作者：Valdes、 Alfonso.、Zamboni、 Diego.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Deterministic and Statistical Methods in Machine Learning [electronic resource] : First International Workshop, Sheffield, UK, September 7-10, 2004. Revised Lectures

0
索取号：
作者：Winkler、 Joab.、Niranjan、 Mahesan.、Lawrence、 Neil.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computational Life Sciences [electronic resource] : First International Symposium, CompLife 2005, Konstanz, Germany, September 25-27, 2005. Proceedings

0
索取号：
作者：R. Berthold、 Michael.、Glen、 Robert C.、Diederichs、 Kay.、Kohlbacher、 Oliver.、Fischer、 Ingrid.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

FM 2005: Formal Methods [electronic resource] : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings

0
索取号：
作者：Fitzgerald、 John.、Hayes、 Ian J.、Tarlecki、 Andrzej.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Algorithmic Learning Theory [electronic resource] : 16th International Conference, ALT 2005, Singapore, October 8-11, 2005. Proceedings

0
索取号：
作者：Jain、 Sanjay.、Simon、 Hans Ulrich.、Tomita、 Etsuji.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Automata, Languages and Programming [electronic resource] : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings

0
索取号：
作者：Caires、 Lu铆s.、Italiano、 Giuseppe F.、Monteiro、 Lu铆s.、Palamidessi、 Catuscia.、Yung、 Moti.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Practical Aspects of Declarative Languages [electronic resource] : 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings

0
索取号：
作者：Hentenryck、 Pascal.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Logic Based Program Synthesis and Transformation [electronic resource] : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 鈥ಸ, 2004, Revised Selected Papers

0
索取号：
作者：Etalle、 Sandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advanced Distributed Systems [electronic resource] : 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers

0
索取号：
作者：Ramos、 F茅lix F.、Larios Rosillo、 Victor.、Unger、 Herwig.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Graph Drawing [electronic resource] : 13th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005. Revised Papers

0
索取号：
作者：Healy、 Patrick.、Nikolov、 Nikola S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Biological and Medical Data Analysis [electronic resource] : 6th International Symposium, ISBMDA 2005, Aveiro, Portugal, November 10-11, 2005. Proceedings

0
索取号：
作者：Oliveira、 Jos茅 Lu铆s.、Maojo、 V铆ctor.、Mart铆n-S谩nchez、 Fernando.、Pereira、 Ant贸nio Sousa.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Languages and Compilers for Parallel Computing [electronic resource] : 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002. Revised Papers

0
索取号：
作者：Pugh、 Bill.、Tseng、 Chau-Wen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Combinatorial Pattern Matching [electronic resource] : 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005. Proceedings

0
索取号：
作者：Apostolico、 Alberto.、Crochemore、 Maxime.、Park、 Kunsoo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings

0
索取号：
作者：Steffen、 Martin.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Geometric and Topological Methods for Quantum Field Theory [electronic resource]

0
索取号：
作者：Ocampo、 Hern谩n.、Paycha、 Sylvie.、Vargas、 Andr茅s.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.